validity problem

Based on the above results, an approximate fast algorithm is obtained for the decision problem of DNF validity. Using this algorithm, most DNF validity problems can be solved in polynomial time.

基于所得结果，对于析取范式永真性判定问题得出了一个近似快速的求解算法，按此算法，对绝大多数的析取范式，其永真性问题，在多项式时间内都可解决。

互联网摘选

Through the research of these methods, this paper solves the problem that the government how to compensate. Finally, this paper takes the profit-making highway asset transfer value calculation through empirical analysis, verifies the practicability and validity of the method and model.

通过这些方法的研究来解决政府究竟补偿多少的问题。论文最后通过实证分析，进行了经营性公路资产转让价值的计算，验证了方法和模型的实用性和正确性。

互联网摘选

We consider the NP complete problem with superior representative qualification& the decision for the validity of DNF.

我们考虑具有优先代表资格的NP完全问题&析取范式的永真性判定问题。

互联网摘选

The semantic validity and entailment problem of XML documents are further provided and they are reduced to the knowledge base unsatisfiability problem in description logic language ΣΗΟΙΝ(?).

此外，还提出了xml文档的语义有效性和xml文档的推理问题，并把它们规约到描述逻辑语言∑ΗΟΙΝ（？）的知识库不可满足性问题。

互联网摘选

The validity of computer program is verified and the high efficiency of the proposed algorithm is also demonstrated by the results of a thick cylinder problem subjected to an internal pressure.

文中给出厚壁圆筒蠕变断裂数值算例，计算结果证明了该算法的高效和正确性。

互联网摘选